Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին
1
Computer arithmetic and validity: Theory, implementation, and applications

Computer arithmetic and validity: Theory, implementation, and applications

Kulisch, Ulrich
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 3.03 MB
0 / 0
english, 2008
2
Computer arithmetic and validity: Theory, implementation, and applications

Computer arithmetic and validity: Theory, implementation, and applications

Ulrich Kulisch
Տարի:
2013
Լեզու:
english
Ֆայլ:
PDF, 3.86 MB
0 / 0
english, 2013
3
Computer Arithmetic in Theory and Practice

Computer Arithmetic in Theory and Practice

Ulrich W. Kulisch, Willard L. Miranker, Werner Rheinboldt
Տարի:
1981
Լեզու:
english
Ֆայլ:
PDF, 13.11 MB
0 / 0
english, 1981
5
Computer Arithmetic in Theory and Practice

Computer Arithmetic in Theory and Practice

Miranker, Willard L., Kulisch, Ulrich
Տարի:
1981
Լեզու:
english
Ֆայլ:
DJVU, 2.31 MB
0 / 0
english, 1981
6
Perspectives on Enclosure Methods

Perspectives on Enclosure Methods

Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.)
Տարի:
2001
Լեզու:
english
Ֆայլ:
PDF, 9.64 MB
0 / 0
english, 2001
7
Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Kulisch, Ulrich
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 4.58 MB
0 / 0
english, 2008
8
A New Approach to Scientific Computation

A New Approach to Scientific Computation

Ulrich W. Kulisch, Willard L. Miranker
Տարի:
1983
Լեզու:
english
Ֆայլ:
PDF, 18.19 MB
0 / 0
english, 1983
9
Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch
Տարի:
2013
Լեզու:
english
Ֆայլ:
PDF, 8.92 MB
0 / 5.0
english, 2013
10
Wissenschaftliches Rechnen mit Ergebnisverifikation

Wissenschaftliches Rechnen mit Ergebnisverifikation

Ulrich Kulisch (editor)
Տարի:
1990
Լեզու:
german
Ֆայլ:
PDF, 21.07 MB
0 / 0
german, 1990
11
Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 4.55 MB
0 / 0
english, 2008
12
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units

Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units

Dr. Ulrich W. Kulisch (auth.)
Տարի:
2002
Լեզու:
english
Ֆայլ:
PDF, 3.63 MB
0 / 0
english, 2002
15
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Rolf Hammer, Matthias Hocks, Ulrich W. Kulisch
Տարի:
2011
Լեզու:
english
Ֆայլ:
PDF, 12.93 MB
0 / 0
english, 2011
16
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Տարի:
1995
Լեզու:
english
Ֆայլ:
DJVU, 5.09 MB
0 / 0
english, 1995
20
Grundlagen der Computer-Arithmetik

Grundlagen der Computer-Arithmetik

Prof. Dr. R. Albrecht (auth.), Prof. Dr. Rudolf Albrecht, Prof. Dr. Ulrich Kulisch (eds.)
Տարի:
1977
Լեզու:
german
Ֆայլ:
PDF, 4.36 MB
0 / 0
german, 1977